How to prove derivative of e^x